44 research outputs found
k-Spectra of weakly-c-Balanced Words
A word is a scattered factor of if can be obtained from by
deleting some of its letters. That is, there exist the (potentially empty)
words , and such that and
. We consider the set of length- scattered
factors of a given word w, called here -spectrum and denoted
\ScatFact_k(w). We prove a series of properties of the sets \ScatFact_k(w)
for binary strictly balanced and, respectively, -balanced words , i.e.,
words over a two-letter alphabet where the number of occurrences of each letter
is the same, or, respectively, one letter has -more occurrences than the
other. In particular, we consider the question which cardinalities n=
|\ScatFact_k(w)| are obtainable, for a positive integer , when is
either a strictly balanced binary word of length , or a -balanced binary
word of length . We also consider the problem of reconstructing words
from their -spectra
A Grassmann algebra for matroids
We introduce an idempotent analogue of the exterior algebra for which the theory of tropical linear spaces (and valuated matroids) can be seen in close analogy with the classical Grassmann algebra formalism for linear spaces. The top wedge power of a tropical linear space is its Plucker vector, which we view as a tensor, and a tropical linear space is recovered from its Plucker vector as the kernel of the corresponding wedge multiplication map. We prove that an arbitrary d-tensor satisfies the tropical Plucker relations (valuated exchange axiom) if and only if the d-th wedge power of the kernel of wedge-multiplication is free of rank one. This provides a new cryptomorphism for valuated matroids, including ordinary matroids as a special case
Recognizing Treelike k-Dissimilarities
A k-dissimilarity D on a finite set X, |X| >= k, is a map from the set of
size k subsets of X to the real numbers. Such maps naturally arise from
edge-weighted trees T with leaf-set X: Given a subset Y of X of size k, D(Y) is
defined to be the total length of the smallest subtree of T with leaf-set Y .
In case k = 2, it is well-known that 2-dissimilarities arising in this way can
be characterized by the so-called "4-point condition". However, in case k > 2
Pachter and Speyer recently posed the following question: Given an arbitrary
k-dissimilarity, how do we test whether this map comes from a tree? In this
paper, we provide an answer to this question, showing that for k >= 3 a
k-dissimilarity on a set X arises from a tree if and only if its restriction to
every 2k-element subset of X arises from some tree, and that 2k is the least
possible subset size to ensure that this is the case. As a corollary, we show
that there exists a polynomial-time algorithm to determine when a
k-dissimilarity arises from a tree. We also give a 6-point condition for
determining when a 3-dissimilarity arises from a tree, that is similar to the
aforementioned 4-point condition.Comment: 18 pages, 4 figure
Beyond Outerplanarity
We study straight-line drawings of graphs where the vertices are placed in
convex position in the plane, i.e., convex drawings. We consider two families
of graph classes with nice convex drawings: outer -planar graphs, where each
edge is crossed by at most other edges; and, outer -quasi-planar graphs
where no edges can mutually cross. We show that the outer -planar graphs
are -degenerate, and consequently that every
outer -planar graph can be -colored, and this
bound is tight. We further show that every outer -planar graph has a
balanced separator of size . This implies that every outer -planar
graph has treewidth . For fixed , these small balanced separators
allow us to obtain a simple quasi-polynomial time algorithm to test whether a
given graph is outer -planar, i.e., none of these recognition problems are
NP-complete unless ETH fails. For the outer -quasi-planar graphs we prove
that, unlike other beyond-planar graph classes, every edge-maximal -vertex
outer -quasi planar graph has the same number of edges, namely . We also construct planar 3-trees that are not outer
-quasi-planar. Finally, we restrict outer -planar and outer
-quasi-planar drawings to \emph{closed} drawings, where the vertex sequence
on the boundary is a cycle in the graph. For each , we express closed outer
-planarity and \emph{closed outer -quasi-planarity} in extended monadic
second-order logic. Thus, closed outer -planarity is linear-time testable by
Courcelle's Theorem.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension
We study the combinatorial complexity of D-dimensional polyhedra defined as
the intersection of n halfspaces, with the property that the highest dimension
of any bounded face is much smaller than D. We show that, if d is the maximum
dimension of a bounded face, then the number of vertices of the polyhedron is
O(n^d) and the total number of bounded faces of the polyhedron is O(n^d^2). For
inputs in general position the number of bounded faces is O(n^d). For any fixed
d, we show how to compute the set of all vertices, how to determine the maximum
dimension of a bounded face of the polyhedron, and how to compute the set of
bounded faces in polynomial time, by solving a polynomial number of linear
programs
Reconstructing Words from Right-Bounded-Block Words
A reconstruction problem of words from scattered factors asks for the minimal
information, like multisets of scattered factors of a given length or the
number of occurrences of scattered factors from a given set, necessary to
uniquely determine a word. We show that a word can be
reconstructed from the number of occurrences of at most
scattered factors of the form . Moreover, we generalize the result to
alphabets of the form by showing that at most scattered factors suffices to reconstruct .
Both results improve on the upper bounds known so far. Complexity time bounds
on reconstruction algorithms are also considered here
A Note on Encodings of Phylogenetic Networks of Bounded Level
Driven by the need for better models that allow one to shed light into the
question how life's diversity has evolved, phylogenetic networks have now
joined phylogenetic trees in the center of phylogenetics research. Like
phylogenetic trees, such networks canonically induce collections of
phylogenetic trees, clusters, and triplets, respectively. Thus it is not
surprising that many network approaches aim to reconstruct a phylogenetic
network from such collections. Related to the well-studied perfect phylogeny
problem, the following question is of fundamental importance in this context:
When does one of the above collections encode (i.e. uniquely describe) the
network that induces it? In this note, we present a complete answer to this
question for the special case of a level-1 (phylogenetic) network by
characterizing those level-1 networks for which an encoding in terms of one (or
equivalently all) of the above collections exists. Given that this type of
network forms the first layer of the rich hierarchy of level-k networks, k a
non-negative integer, it is natural to wonder whether our arguments could be
extended to members of that hierarchy for higher values for k. By giving
examples, we show that this is not the case
Reconstructing Words from Right-Bounded-Block Words
peer reviewedA reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word can be reconstructed from the number of occurrences of at most scattered factors of the form , where is the number of occurrences of the letter in . Moreover, we generalize the result to alphabets of the form by showing that at most scattered factors suffices to reconstruct . Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here
A graph-theoretical invariant of topological spaces
Given a topological space T and a finite subset T(o) of T, we associate two graphs with T and T(o) that, under rather mild conditions, turn out to be a block graph and a tree, respectively. This construction is of interest, e.g., in the context of phylogenetic analysis where T may model a full "orbit" of a dynamical branching process, and T(o) the set of its branching points. (C) 2008 Elsevier Ltd. All rights reserved.X111sciescopu
Block realizations of finite metrics and the tight-span construction I: The embedding theorem
Given a finite set X and a proper metric D : X x X --> R(>= 0) defined on X, we show that every block realization of D can be "embedded" canonically into the tight span T(D) of D and characterize the subsets of T(X) that can be obtained in that way as the "canonical image" of the vertex set of a block realization. (C) 2008 Elsevier Ltd. All rights reserved.X113sciescopu